//
// Created by Lenovo on 2023/3/7.
//

/* 洛谷 P1055 */

#include <stdio.h>

int main()
{
    char ISBN[14];
    char ch;
    int i = 0;
    while ((ch = getchar()) != EOF)
    {
        ISBN[i++] = ch;
    }
    ISBN[i] = '\0';
    int k = 1, sum = 0;
    for (i = 0; i < 11; i++)
    {
        if (i == 1 || i == 5)
        {
            continue;
        }
        sum += (ISBN[i] - '0') * k++;
    }

    int flag = 0;
    sum %= 11;
    if (sum == 10)
    {
        if (ISBN[12] == 'X')
        {
            flag = 1;
        }
        else
        {
            ISBN[12] = 'X';
        }
    }
    else
    {
        if (sum % 11 == ISBN[12] - '0')
        {
            flag = 1;
        }
    }
    if (flag)
    {
        printf("Right");
    }
    else
    {
        if (sum != 10)
        {
            ISBN[12] = sum + '0';
        }
        printf("%s", ISBN);
    }

    return 0;
}